1. Formal methods in artificial intelligence

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Methodology ، Attificial intelligence,، Logic, Symbolic and mathematical,، Reasoning

رده :
Q
335
.
R35
1988